Reasoning about Message Integrity
نویسندگان
چکیده
We propose an approach for reasoning about message integrity protection in cryptographic protocols. The set of axioms presented herein relate design parameters and assumptions of message integrity protection mechanisms to generic message integrity threats. Comparison of threat properties derived using these axioms with the policy goals for integrity protection aids in assessing the strength (or lack thereof) of message integrity protection mechanisms. We provide examples to illustrate the use of our approach in examining the weaknesses of message integrity protection mechanisms, and also in suggesting modifications in their design parameters.
منابع مشابه
1 Reasoning about Message Integrity 1 Rajashekar
We propose an approach for reasoning about message integrity protection in cryptographic protocols. The set of axioms presented herein relate design parameters and assumptions of message integrity protection mechanisms to generic message integrity threats. Comparison of threat properties derived using these axioms with the policy goals for integrity protection aids in assessing the strength (or...
متن کاملTowards a Sustainable Anti-Corruption Strategy: An Ethic-Induced Model
Literature abounds to show that the current anti-corruption strategies have failed to fight corruption because of neglect of ethics in these strategies, despite its importance. The purpose of this paper is to make a contribution to anti-corruption theory by developing a model that clarifies many complex ethical dilemmas around corruption. To develop a conceptual model, the extant literatures on...
متن کاملMessage-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
Thanks to recent advances, AI Planning has become the underlying technique for several applications. Figuring prominently among these is automated Web Service Composition (WSC) at the “capability” level, where services are described in terms of preconditions and effects over ontological concepts. A key issue in addressing WSC as planning is that ontologies are not only formal vocabularies; they...
متن کاملUtilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and Compliance
Increased reliance on machine learning and automated reasoning has led to increased vulnerability to data-integrity violations. In order to ensure next-generation data-driven systems and infrastructure are reliable and provide trustworthy services better mechanisms must be developed to reason about whether the data being utilized is compliant, and has integrity. In this paper we discuss the con...
متن کاملModelling and reasoning about dynamic networks as concurrent systems
We propose a new approach to modelling and reasoning about dynamic networks. Dynamic networks consist of nodes and edges whose operating status may change over time (for example, the edges may be unreliable and operate intermittently). Message-passing in such networks is inherently difficult and reasoning about the behaviour of message-passing algorithms is also difficult. We develop a series o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994